Natural deduction system
[计] 自然演绎系统
🧩 词语组成解析
natural
['nætʃrəl]
adj. 自然的;物质的;天生的;不做作的;
n. 自然的事情;（生来的）白痴;[乐]（风琴等的）白键;
natur=nature自然+al...的 →自然（界）的
deduction
[dɪ'dʌkʃən]
n. 推演，推理，演绎;（推理所得出的）结论;扣除，减除;扣除的量;
duc,duct =lead,bring,表示”引导,带来”#词根助记：de向下+duce引→向下引→推论
🗣️ 情景例句
My name is Wang Feng and I'm calling to cancel plane ticket.
我叫王峰，我想取消我预定的飞机票。
The fear of ill exceeds the ills we fear.
杞人忧天，庸人自扰。
Are you making progress?
有进展吗？